This book constitutes the thoroughly refereed post-conference proceedings of the Second IFIP TC 2 Central and East Conference ...
WeiterlesenThis book presented original contributions demonstrating the use of logic, discrete mathematics, combinatorics, domain theory ...
Weiterlesen